void second_scan();